Published in: LIPIcs, Volume 260, 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)
8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 260, pp. 1-658, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Proceedings{gaboardi_et_al:LIPIcs.FSCD.2023,
title = {{LIPIcs, Volume 260, FSCD 2023, Complete Volume}},
booktitle = {8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)},
pages = {1--658},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-277-8},
ISSN = {1868-8969},
year = {2023},
volume = {260},
editor = {Gaboardi, Marco and van Raamsdonk, Femke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2023},
URN = {urn:nbn:de:0030-drops-179830},
doi = {10.4230/LIPIcs.FSCD.2023},
annote = {Keywords: LIPIcs, Volume 260, FSCD 2023, Complete Volume}
}
Published in: LIPIcs, Volume 260, 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)
8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 260, pp. 0:i-0:xviii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{gaboardi_et_al:LIPIcs.FSCD.2023.0,
author = {Gaboardi, Marco and van Raamsdonk, Femke},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023)},
pages = {0:i--0:xviii},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-277-8},
ISSN = {1868-8969},
year = {2023},
volume = {260},
editor = {Gaboardi, Marco and van Raamsdonk, Femke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2023.0},
URN = {urn:nbn:de:0030-drops-179849},
doi = {10.4230/LIPIcs.FSCD.2023.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
Published in: LIPIcs, Volume 21, 24th International Conference on Rewriting Techniques and Applications (RTA 2013)
24th International Conference on Rewriting Techniques and Applications (RTA 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Proceedings{vanraamsdonk:LIPIcs.RTA.2013,
title = {{LIPIcs, Volume 21, RTA'13, Complete Volume}},
booktitle = {24th International Conference on Rewriting Techniques and Applications (RTA 2013)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-53-8},
ISSN = {1868-8969},
year = {2013},
volume = {21},
editor = {van Raamsdonk, Femke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2013},
URN = {urn:nbn:de:0030-drops-41152},
doi = {10.4230/LIPIcs.RTA.2013},
annote = {Keywords: Programming Techniques, Software Engineering, Programming Languages, Computation by Abstract Devices, Analysis of Algorithms and Problem Complexity Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Artificial Intelligence}
}
Published in: LIPIcs, Volume 21, 24th International Conference on Rewriting Techniques and Applications (RTA 2013)
24th International Conference on Rewriting Techniques and Applications (RTA 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 21, pp. i-xiii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{vanraamsdonk:LIPIcs.RTA.2013.i,
author = {van Raamsdonk, Femke},
title = {{Frontmatter, Table of Contents, Preface, Conference Organization}},
booktitle = {24th International Conference on Rewriting Techniques and Applications (RTA 2013)},
pages = {i--xiii},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-53-8},
ISSN = {1868-8969},
year = {2013},
volume = {21},
editor = {van Raamsdonk, Femke},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2013.i},
URN = {urn:nbn:de:0030-drops-40486},
doi = {10.4230/LIPIcs.RTA.2013.i},
annote = {Keywords: Frontmatter, Table of Contents, Preface, Conference Organization}
}
Published in: LIPIcs, Volume 10, 22nd International Conference on Rewriting Techniques and Applications (RTA'11) (2011)
Cynthia Kop and Femke van Raamsdonk. Higher Order Dependency Pairs for Algebraic Functional Systems. In 22nd International Conference on Rewriting Techniques and Applications (RTA'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 10, pp. 203-218, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{kop_et_al:LIPIcs.RTA.2011.203,
author = {Kop, Cynthia and van Raamsdonk, Femke},
title = {{Higher Order Dependency Pairs for Algebraic Functional Systems}},
booktitle = {22nd International Conference on Rewriting Techniques and Applications (RTA'11)},
pages = {203--218},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-30-9},
ISSN = {1868-8969},
year = {2011},
volume = {10},
editor = {Schmidt-Schauss, Manfred},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2011.203},
URN = {urn:nbn:de:0030-drops-31177},
doi = {10.4230/LIPIcs.RTA.2011.203},
annote = {Keywords: higher order rewriting, termination, dynamic dependency pairs}
}
Feedback for Dagstuhl Publishing